#ifndef HAL_TIMER_H
#define HAL_TIMER_H

#include "Timer.h"

void VirtualHardware_InitTimer(void);

#endif // HAL_TIMER_H
